1. Cyber Physical Systems Design, Modeling, and Evaluation
پدیدآورنده: \ editor by Christian Berger, Mohammad Reza Mousavi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic control -- Congresses.,Sensor networks -- Congresses.,Computer systems -- Verification -- Congresses.,مهندسی کنترل -- کنگره‌ها ,شبکه‌های حسگر -- کنگره ها,سیستم‌های کامپیوتری -- کنگره‌ها
رده :
TJ213
.
C91
2015
E-Book
,
2. Cyber physical systems :
پدیدآورنده: Roger Chamberlain, Walid Taha, Martin Törngren (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic control, Congresses.,Computer systems-- Verification, Congresses.,Cooperating objects (Computer systems), Congresses.,Cybernetics, Congresses.,Sensor networks, Congresses.,Automatic control.,Computer systems-- Verification.,Cooperating objects (Computer systems),Cybernetics.,Sensor networks.
رده :
TJ213
3. Hardware and software, verification and testing
پدیدآورنده: / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Computer programs--Verification--Congresses,Integrated circuits--Verification--Congresses
رده :
QA
,
76
.
76
,.
V47
,
I54
,
2006
4. Hardware and software, verification and testing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
5. Model Checking and Artificial Intelligence
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
6. Model Checking and Artificial Intelligence
پدیدآورنده: / Doron A. Peled, Michael J. Wooldrige (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Artificial intelligence--Congresses,Keunstliche Intelligenz--Model Checking--Kongress--Patras <2008>,Model Checking.--swd,Kongress.--swd
رده :
QA
,
76
.
76
,.
V47
,
M63
,
2008
7. Model checking and artificial intelligence :
پدیدآورنده: Ron van der Meyden, Jan-Georg Smaus (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses
رده :
QA76
.
76
.
V47
M63
2011
8. Reachability Problems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گراف‌ها -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
9. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
10. Reachability problems :
پدیدآورنده: Antonín Kučera, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- Verification, Congresses.,Configurations, Congresses.,Decidability (Mathematical logic), Congresses.,Computer systems-- Verification.,Configurations.,Decidability (Mathematical logic),Erreichbarkeit.,Erreichbarkeitsmenge.,Zustandsgraph.,Brünn 2010, 7
رده :
QA76
.
76
.
V47
R58
2010
11. Reachability problems
پدیدآورنده: Olivier Bournez, Igor Potapov, (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- Verification, Congresses,Configurations, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R58
2009
12. Reachability problems
پدیدآورنده: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
13. Reachability problems :
پدیدآورنده: Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
14. Validation and verification of knowledge based systems :
پدیدآورنده: edited by Anca Vermesan and Frans Coenen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
15. Verification of digital and hybrid systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer systems-- Verification
رده :
QA
76
.
76
.
V47
.
V47
2000
16. Verification of digital and hybrid systems
پدیدآورنده: edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
